Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
801	A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations ⋆ Ajith K John1 and Supratik Chakraborty2 1 2 Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2012-06-17 16:38:49 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Lookup table Satisfiability Modulo Theories FO Boolean satisfiability problem Theoretical computer science Logic Mathematical logic
802	Every 2-CSP allows nontrivial approximation Johan H˚ astad Royal Institute of Technology Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-06-22 08:43:27 Constraint programming Computational complexity theory Constraint satisfaction problem 2-satisfiability Constraint satisfaction Approximation algorithm Logic in computer science Combinatorial optimization Linear programming Theoretical computer science Applied mathematics Mathematics
803	Petri Nets, Discrete Physics, and Distributed Quantum Computation Samson Abramsky Oxford University Computing Laboratory This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:50 Mathematics Braided monoidal category Petri net Monoid PRO Penrose graphical notation Linear logic Tensor product Tensor Category theory Algebra Monoidal categories
804	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
805	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 10:44:31 Mathematical logic Model theory Well-formed formula Linear temporal logic Logic Metalogic Formal languages
806	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-31 09:04:26 Function Modal logic Model theory Linear temporal logic Μ operator Mathematics Logic Mathematical logic
807	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:24 Philosophical logic Model theory Metalogic Bisimulation Logic in computer science Kripke semantics Modal logic State transition system Linear temporal logic Logic Mathematical logic Mathematics
808	Message-Generated Kripke Semantics Jan van Eijck and Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:42:48 Modal logic Formal languages Philosophical logic Epistemic modal logic Interpretation Common knowledge Kripke semantics Constructible universe Linear temporal logic Logic Mathematical logic Model theory
809	THE EPISTEMICS OF PRESUPPOSITION PROJECTION JAN VAN EIJCK AND CHRISTINA UNGER CWI (Amsterdam), Uil-OTS (Utrecht) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:18:04 Formal languages Model theory Modal logic Non-classical logic Philosophical logic Interpretation Presupposition Linear temporal logic Μ operator Logic Semantics Mathematical logic
810	[removed]Automation LineCard_Web_Rev1 Add to Reading List Source URL: www.beckerelectric.com Language: English - Date: 2014-05-29 14:12:26 Electrical engineering Automation Fieldbus Rotary encoder Level sensor Linear encoder Electric motor Programmable logic controller Contactor Technology Sensors Electromagnetism

UPDATE